TSTP Solution File: QUA006^1 by Refute---2015